ghc --make -XMultiParamTypeClasses -XFlexibleInstances main.hs